Optimal. Leaf size=110 \[ -\frac{2 b^2 x^{n-1} (a+b x)^{1-n}}{a^3 (1-n) (2-n) (3-n)}+\frac{2 b x^{n-2} (a+b x)^{1-n}}{a^2 (2-n) (3-n)}-\frac{x^{n-3} (a+b x)^{1-n}}{a (3-n)} \]
[Out]
_______________________________________________________________________________________
Rubi [A] time = 0.0950628, antiderivative size = 110, normalized size of antiderivative = 1., number of steps used = 3, number of rules used = 2, integrand size = 15, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.133 \[ -\frac{2 b^2 x^{n-1} (a+b x)^{1-n}}{a^3 (1-n) (2-n) (3-n)}+\frac{2 b x^{n-2} (a+b x)^{1-n}}{a^2 (2-n) (3-n)}-\frac{x^{n-3} (a+b x)^{1-n}}{a (3-n)} \]
Antiderivative was successfully verified.
[In] Int[x^(-4 + n)/(a + b*x)^n,x]
[Out]
_______________________________________________________________________________________
Rubi in Sympy [A] time = 15.7367, size = 76, normalized size = 0.69 \[ - \frac{x^{n - 3} \left (a + b x\right )^{- n + 1}}{a \left (- n + 3\right )} + \frac{2 b x^{n - 2} \left (a + b x\right )^{- n + 1}}{a^{2} \left (- n + 2\right ) \left (- n + 3\right )} - \frac{2 b^{2} x^{n - 1} \left (a + b x\right )^{- n + 1}}{a^{3} \left (- n + 1\right ) \left (- n + 2\right ) \left (- n + 3\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] rubi_integrate(x**(-4+n)/((b*x+a)**n),x)
[Out]
_______________________________________________________________________________________
Mathematica [A] time = 0.0692235, size = 64, normalized size = 0.58 \[ \frac{x^{n-3} (a+b x)^{1-n} \left (a^2 \left (n^2-3 n+2\right )+2 a b (n-1) x+2 b^2 x^2\right )}{a^3 (n-3) (n-2) (n-1)} \]
Antiderivative was successfully verified.
[In] Integrate[x^(-4 + n)/(a + b*x)^n,x]
[Out]
_______________________________________________________________________________________
Maple [A] time = 0.008, size = 77, normalized size = 0.7 \[{\frac{ \left ( bx+a \right ){x}^{-3+n} \left ({a}^{2}{n}^{2}+2\,abnx+2\,{b}^{2}{x}^{2}-3\,{a}^{2}n-2\,abx+2\,{a}^{2} \right ) }{ \left ( bx+a \right ) ^{n} \left ( -3+n \right ) \left ( -2+n \right ) \left ( -1+n \right ){a}^{3}}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] int(x^(-4+n)/((b*x+a)^n),x)
[Out]
_______________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \[ \int{\left (b x + a\right )}^{-n} x^{n - 4}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(x^(n - 4)/(b*x + a)^n,x, algorithm="maxima")
[Out]
_______________________________________________________________________________________
Fricas [A] time = 0.229661, size = 140, normalized size = 1.27 \[ \frac{{\left (2 \, a b^{2} n x^{3} + 2 \, b^{3} x^{4} +{\left (a^{2} b n^{2} - a^{2} b n\right )} x^{2} +{\left (a^{3} n^{2} - 3 \, a^{3} n + 2 \, a^{3}\right )} x\right )} x^{n - 4}}{{\left (a^{3} n^{3} - 6 \, a^{3} n^{2} + 11 \, a^{3} n - 6 \, a^{3}\right )}{\left (b x + a\right )}^{n}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(x^(n - 4)/(b*x + a)^n,x, algorithm="fricas")
[Out]
_______________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(x**(-4+n)/((b*x+a)**n),x)
[Out]
_______________________________________________________________________________________
GIAC/XCAS [F] time = 0., size = 0, normalized size = 0. \[ \int \frac{x^{n - 4}}{{\left (b x + a\right )}^{n}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(x^(n - 4)/(b*x + a)^n,x, algorithm="giac")
[Out]